compose (F.fmap f) NT.alpha = compose NT.alpha (F.fmap f)
